AI资讯新闻榜单内容搜索-AI Co-Math

关键词: AI新闻,AI Co-Mathematician,AI联合数学家,谷歌AI

群论领域几十年无解的第21.10号问题，被牛津数学家Marc Lackenby用谷歌一个新系统破解了。过程也很有意思：AI第一次给出的证明是错的，被系统里的审查Agent揪出了漏洞。